Samson Abramsky - PDFSEARCH.IO - Document Search Engine

Samson Abramsky
Results: 30

#	Item
21	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
22	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. http://web.comlab.ox.ac.uk/oucl/wo Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:09 Monoidal categories Dagger compact category Braided monoidal category Compact closed category Monoid Vector space Closed category Quantum logic Product Algebra Category theory Mathematics
23	A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:19 Theoretical computer science Applied mathematics Generic programming Sheaf Combinatory logic Holomorphic functional calculus Mathematics Computability theory Lambda calculus
24	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
25	Under consideration for publication in Math. Struct. in Comp. Science A Categorical Quantum Logic SAMSON ABRAMSKY ROSS DUNCAN Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:05 Biproduct Closed monoidal category Compact closed category Dagger compact category Quantum logic Coproduct Braided monoidal category Closed category Category of finite dimensional Hilbert spaces Category theory Mathematics Monoidal categories
26	A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:04 Mathematical logic Models of computation Logic in computer science Combinatory logic Digital electronics Fixed-point combinator Function Reversible computing SKI combinator calculus Theoretical computer science Mathematics Lambda calculus
27	Samson Abramsky Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:17 Knot theory Von Neumann algebras Braids Temperley–Lieb algebra Polynomials Jones polynomial Lieb Monoid Louis Kauffman Algebra Abstract algebra Mathematics
28	Socially Responsive, Environmentally Friendly Logic Samson Abramsky Oxford University Computing Laboratory Abstract We consider the following questions: What kind of logic has a natural semantics in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:53 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
29	Big Toy Models: Representing Physical Systems As Chu Spaces Samson Abramsky Oxford University Computing Laboratory September 23, 2009 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:53 Mathematical analysis Representation theory Dual space Quantum logic Adjoint functors Interpretation Self-adjoint operator Operator Linear temporal logic Physics Operator theory Mathematics
30	Domain Theory In Logical Form Samson Abramsky Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:35 Order theory Denotational semantics Interpretation Domain theory Stone duality Model theory Duality Function Completeness Mathematics Mathematical logic Logic